Results for 'Morteza Mohammadi Ostani'

143 found
Order:
  1.  8
    Localization of Schema.org for Manuscript Description in the Iranian-Islamic Information Context.Asefeh Asemi, Ahmad Shabani, Seyed Mahdi Taheri, Mozaffar Cheshmeh Sohrabi & Morteza Mohammadi Ostani - 2022 - Knowledge Organization 48 (5):345-356.
    This study aims to assess the localization of Schema.org for manuscript description in the Iranian-Islamic information context using documentary and qualitative content analysis. The schema.org introduces schemas for different Web content objects so as to generate structured data. Given that the structure of Schema.org is ontological, the inheritance of the manuscript types from the properties of their parent types, as well as the localization and description of the specific properties of the manuscripts in the Iranian-Islamic information context were investigated in (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  81
    Causal Explanation and Fact Mutability in Counterfactual Reasoning.Morteza Dehghani, Rumen Iliev & Stefan Kaufmann - 2012 - Mind and Language 27 (1):55-85.
    Recent work on the interpretation of counterfactual conditionals has paid much attention to the role of causal independencies. One influential idea from the theory of Causal Bayesian Networks is that counterfactual assumptions are made by intervention on variables, leaving all of their causal non-descendants unaffected. But intervention is not applicable across the board. For instance, backtracking counterfactuals, which involve reasoning from effects to causes, cannot proceed by intervention in the strict sense, for otherwise they would be equivalent to their consequents. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  3.  51
    From silencing children's literature to attempting to learn from it: Changing views towards picturebooks in p4c movement.Morteza Mhosronejad & Soudabeh Shokrollahzadeh - 2020 - Childhood and Philosophy 16 (36):01-30.
    This paper investigates critically the approaches to picturebooks as used in the history of philosophy for children movement. Our concern with picturebooks rests mainly on Morteza Khosronejad's broader criticism that children's literature has been treated instrumentally by early founders of P4C, the consequence of which is abolishing the independent voice of this literature. As such it demands that we scrutinize the position of children's literature in the history of this educational program, as well as other genres and forms, including (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  23
    Role of the velocity frame of reference in thermodiffusion in liquid mixtures.Morteza Eslamian, Charles G. Jiang & M. Ziad Saghir - 2012 - Philosophical Magazine 92 (6):705-726.
  5. The important factors of students 'time management among islamic azad university'.Mohammad Javad Ghaed Mohammadi - 2010 - Social Research (Islamic Azad University Roudehen Branch) 3 (6):57-73.
  6. Emerging sacred values: The Iranian nuclear program.Morteza Dehghani, Rumen Iliev, Scott Atran, Jeremy Ginges & Douglas Medin - unknown
    Sacred values are different from secular values in that they are often associated with violations of the cost-benefit logic of rational choice models. Previous work on sacred values has been largely limited to religious or territorial conflicts deeply embedded in historical contexts. In this work we find that the Iranian nuclear program, a relatively recent development, is treated as sacred by some Iranians, leading to a greater disapproval of deals which involve monetary incentives to end the program. Our results suggest (...)
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  7. Aristotle, Ibn-Sina, and Spinoza on “substance”: A comparative study.Morteza Tabatabaei - 2010 - Philosophical Investigations 6 (17):145-162.
    Aristotle and Spinoza, two influential philosophers in the history of philosophy, and the subject of their philosophy is Johar. is, by comparing the properties of essence from his point of view, the root of many differences in the great part of Western philosophy is catching up. It is worth noting that these two philosophers have similarities with the definition of essence They also have; But they differ a lot about its features and examples. Study of Aristotle's opinions in The two (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. The Atlas of Language Analysis in Psychology.Morteza Dehghani & Ryan Boyd (eds.) - forthcoming - Guilford Press.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  4
    Le contexte en sémantique.Mortéza Mahmoudian - 1997 - Louvain: Peeters.
    le present ouvrage examine le role que joue - dans la production et la perception de la signification linguistique - le contexte, concu comme l'entourage semantique du mot dans l'enonce. On impute communement au contexte le sens particulier du mot (marcher, p.ex.) dans l'enonce (le commerce marche). Or, il n'est pas difficile de trouver des enonces - comme en tete du cortege marche le commerce - dans lesquels l'influence s'exerce dans le sens oppose. Cela revient au constat que le contexte (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  5
    Theism and Atheism in a Post-Secular Age.Morteza Hashemi - 2017 - Cham: Imprint: Palgrave Macmillan.
    This book examines the post-secular idea of 'religion for non-believers'. The new form of unbelief which is dubbed as 'tourist atheism' is not based on absolute rejection of religion as a 'dangerous illusion' or 'mere prejudice'. Tourist atheists instead consider religion as a cultural heritage and a way of seeking perfection. What are the origins of these new forms of atheism? What are the implications of the emergence of a type of atheism which is more open toward religious teachings, rituals, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. How Might a Davidsonian Rescue the Normativity of Meaning?Morteza Sedaghat Ahangari Hossein Zadeh - 2013 - Filozofia Nauki 21 (2).
    For meaning normativism to hold, meaning must have a constitutive part which is obligation-producing. I claim in this paper that linguistic communication is such a constitutive part. I try to show this by means of appeal to Davidson’s triangulation thesis. If I am successful, it may fairly be said that “a Davidsonian can rescue the normativity of meaning”.
     
    Export citation  
     
    Bookmark  
  12.  14
    The effect and comparison of training in ethical decision-making through lectures and group discussions on moral reasoning, moral distress and moral sensitivity in nurses: a clinical randomized controlled trial.Morteza Khaghanizadeh, Aliakbar Koohi, Abbas Ebadi & Amir Vahedian-Azimi - 2023 - BMC Medical Ethics 24 (1):1-15.
    Background Ethical decision‑making and behavior of nurses are major factors that can affect the quality of nursing care. Moral development of nurses to making better ethical decision-making is an essential element for managing the care process. The main aim of this study was to examine and comparison the effect of training in ethical decision-making through lectures and group discussions on nurses’ moral reasoning, moral distress and moral sensitivity. Methods In this randomized clinical trial study with a pre- and post-test design, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  42
    Experimental Philosophy of Mind: Free Will and a Scientific Conception of the World.Morteza Izadifar - 2022 - Journal of Cognition and Culture 22 (1-2):41-59.
    Experimental philosophy has been engaged in many fields of philosophy and has tried to challenge philosophy from a new horizon. In this article, I have tried to examine what the role of sciences are in altering people’s intuition about free will. Could science educate people’s philosophical intuitions? If yes, should we still rely on their intuition as a rational instrument for our philosophical questions? Do science plus cultural and social differences effect on folks’ view? In this cross-cultural research, the emphasis (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  23
    The Neurobiological Basis of the Conundrum of Self-continuity: A Hypothesis.Morteza Izadifar - 2022 - Frontiers in Psychology 13.
    Life, whatsoever it is, is a temporal flux. Everything is doomed to change often apparently beyond our awareness. My body appears totally different now, so does my mind. I have gained new attitudes and new ambitions, and a substantial number of old ones have been discarded. But, I am still the same person in an ongoing manner. Besides, recent neuroscientific and psychological evidence has shown that our conscious perception happens as a series of discrete or bounded instants—it emerges in temporally (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  29
    Incongruent Perceptions Among Nurses and Patients: A Qualitative Study of Patient's Dignity in Iran.Camellia Torabizadeh, Hossein Ebrahimi, Eesa Mohammadi & Sousan Valizadeh - 2013 - Ethics and Behavior 23 (6):489-500.
    Dignity is the most fundamental right of every human being, patients in particular. Despite being a fairly disputed concept, dignity is a multidimensional issue, the interpretation of which is affected by a multitude of factors. Semistructured interviews and observation data from 35 patients, their companions, and nurses were performed to highlight their views with regard to patients? dignity in health care centers. Although findings reveal that nearly all patients felt that their dignity had been violated, there is a considerable difference (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  16.  51
    Some results on Kripke models over an arbitrary fixed frame.Seyed Mohammad Bagheri & Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (5):479-484.
    We study the relations of being substructure and elementary substructure between Kripke models of intuitionistic predicate logic with the same arbitrary frame. We prove analogues of Tarski's test and Löwenheim-Skolem's theorems as determined by our definitions. The relations between corresponding worlds of two Kripke models [MATHEMATICAL SCRIPT CAPITAL K] ⪯ [MATHEMATICAL SCRIPT CAPITAL K]′ are studied.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  17.  18
    Zweite Natur als Kritik.Morteza Fakharian - 2019 - Hegel Jahrbuch 2019 (1):354-360.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  44
    Neighborhood Semantics for Basic and Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - 2015 - Logic and Logical Philosophy 24 (3).
  19.  70
    Exploring families' experiences of an organ donation request after brain death.Z. S. Manzari, E. Mohammadi, A. Heydari, H. R. A. Sharbaf, M. J. M. Azizi & E. Khaleghi - 2012 - Nursing Ethics 19 (5):654-665.
    This qualitative research study with a content analysis approach aimed to explore families’ experiences of an organ donation request after brain death. Data were collected through 38 unstructured and in-depth interviews with 14 consenting families and 12 who declined to donate organs. A purposeful sampling process began in October 2009 and ended in October 2010. Data analysis reached 10 categories and two major themes were listed as: 1) serenity in eternal freedom; and 2) resentful grief. The central themes were peace (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  20.  30
    Day-ahead price forecasting based on hybrid prediction model.Javad Olamaee, Mohsen Mohammadi, Alireza Noruzi & Seyed Mohammad Hassan Hosseini - 2016 - Complexity 21 (S2):156-164.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  21. The Postmodern as a Presence. [REVIEW]Morteza Hashemi - 2017 - Philosophy of the Social Sciences 47 (4-5):370-374.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  82
    Patients' perception of dignity in Iranian healthcare settings: a qualitative content analysis: Table 1.Hossein Ebrahimi, Camellia Torabizadeh, Eesa Mohammadi & Sousan Valizadeh - 2012 - Journal of Medical Ethics 38 (12):723-728.
    Next SectionPurpose The importance of recognising patient dignity has been realised in recent years. Despite being a central phenomenon in medicine, dignity is a controversial concept, the definition of which in healthcare centres is influenced by a multitude of factors. The aim of this study was to explore the perspective of Iranian patients on respect for their dignity in healthcare centres. Methods With the use of purposeful sampling, 20 patients were interviewed over an 11-month period in three educational hospitals affiliated (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  23.  23
    Lack of Evidence That Neural Empathic Responses Are Blunted in Excessive Users of Violent Video Games: An fMRI Study.Gregor R. Szycik, Bahram Mohammadi, Thomas F. Münte & Bert T. te Wildt - 2017 - Frontiers in Psychology 8.
  24.  18
    An infinitary axiomatization of dynamic topological logic.Somayeh Chopoghloo & Morteza Moniri - 2022 - Logic Journal of the IGPL 30 (1):124-142.
    Dynamic topological logic is a multi-modal logic that was introduced for reasoning about dynamic topological systems, i.e. structures of the form $\langle{\mathfrak{X}, f}\rangle $, where $\mathfrak{X}$ is a topological space and $f$ is a continuous function on it. The problem of finding a complete and natural axiomatization for this logic in the original tri-modal language has been open for more than one decade. In this paper, we give a natural axiomatization of $\textsf{DTL}$ and prove its strong completeness with respect to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25.  20
    Attentional Bias to Threat-Related Information Among Individuals With Dental Complaints: The Role of Pain Expectancy.Mohsen Dehghani, Somayyeh Mohammadi, Louise Sharpe & Ali Khatibi - 2018 - Frontiers in Psychology 9.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  20
    Protocol for Systematic Review: Peak Bone Mass Pattern in Different Parts of the World.Zahra Mohammadi Mehdi Ebrahimi - 2015 - Journal of Clinical Research and Bioethics 6 (2).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  29
    The grounded theory of “trust building”.Monir Ramezani, Fazlollah Ahmadi, Eesa Mohammadi & Anoshirvan Kazemnejad - 2019 - Nursing Ethics 26 (3):753-766.
    Background:Despite the growing importance of spiritual care, the delivery of spiritual care is still an area of disagreement among healthcare providers.Objective:To develop a grounded theory about spiritual care delivery based on Iranian nurses’ perceptions and experiences.A grounded theory approach:A qualitative study using the grounded theory approach.Participants and research context:Data were collected through holding 27 interviews with 25 participants. The study setting was the Imam Khomeini Hospital Complex. Sampling was started purposively and continued theoretically. Data analysis was performed by the method (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  19
    Subject Analysis in Iran's Local Historiography 1722-1925.Moloud Sotoudeh, Morteza Nouraei & Aliakbar Kajbaf - 2013 - Asian Culture and History 5 (2):p104.
    Subjects can be assumed as phenomena possessing independent axes on which intellectual and material achievements are deployed into a network of interconnections that, centered on certain axes in specific place and time, may give rise to a series of subjects or may transform into turning points that inevitably lead to dimming or elimination of a range of issues and bring about significant changes and developments in another broad range of them. Phenomena such as local governments/states formation or collapse, industrial revolution, (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  29.  16
    The Study of Chivalry Philosophy, Islamic Generosity and Moral Teachings in Athletic and Gymnasium Sports in Zurkhaneh.Bisotoon Azizi, Mohammad Mohammadi & Nima Deimary - 2020 - Sport, Ethics and Philosophy 15 (4):546-555.
    Defining the Perian word, ‘Fotowat’ or ‘Chivalry’ is not an easy task; in the rite of ‘Fotowat’, before entering any profession, one must set one’s soul free and pay attention to the moral teaching...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  30.  30
    Optimal location and optimized parameters for robust power system stabilizer using honeybee mating optimization.Mohsen Mohammadi & Noradin Ghadimi - 2016 - Complexity 21 (1):242-258.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  31.  42
    The nursing metaparadigm concept of human being in Islamic thought.Nasrollah Alimohammadi, Fariba Taleghani, Esa Mohammadi & Reza Akbarian - 2014 - Nursing Inquiry 21 (2):121-129.
    The metaparadigm concept of person as a core emphasis for nursing theorizing has attracted considerable attention in western literature, but has received less attention in the context of eastern philosophical contexts. In this philosophical inquiry, we sought to clarify the concept of what it is to be a human being according to ideas deriving from Islamic tradition, drawing on concept analysis as general approach to advance an understanding of how nursing within an Islamic context might operationalize metaparadigm conceptualization. Specifically, we (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  58
    Perceived ethical values by Iranian nurses.M. Shahriari, E. Mohammadi, A. Abbaszadeh, M. Bahrami & M. M. Fooladi - 2012 - Nursing Ethics 19 (1):30-44.
    Nursing, a scientific and practical discipline, faces continuing challenges of finding new direction in order to decipher its core values and develop current ethical codes for nursing practice. In 2009–10, 28 nurses were purposely selected and interviewed using a semi-structured format in focus groups and individually. Thematic Content Analysis helped explore the perception of Iranian nurses on ethical values in patient care. Seven major themes emerged: respect for dignity, professional integrity, professional commitment, developing human relationships, justice, honesty, and promoting individuals (...)
    Direct download  
     
    Export citation  
     
    Bookmark   21 citations  
  33.  31
    Preservation theorems for Kripke models.Morteza Moniri & Mostafa Zaare - 2009 - Mathematical Logic Quarterly 55 (2):177-184.
    There are several ways for defining the notion submodel for Kripke models of intuitionistic first‐order logic. In our approach a Kripke model A is a submodel of a Kripke model B if they have the same frame and for each two corresponding worlds Aα and Bα of them, Aα is a subset of Bα and forcing of atomic formulas with parameters in the smaller one, in A and B, are the same. In this case, B is called an extension of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  19
    Nurses' experiences of violation of their dignity.M. Khademi, E. Mohammadi & Z. Vanaki - 2012 - Nursing Ethics 19 (3):328-340.
    Dignity is a human right and a base for human health. This right must be observed in work environments as a moral obligation. This qualitative study aimed to understand nurses’ experiences of violation of their dignity at work and to explore its dimensions. The participants were 15 nurses working in two hospitals in Tehran. The data were collected through 26 unstructured interviews and analyzed using content analysis. The dimensions of violation were ‘irreverence’, including experiences of abuse and violence, humiliation, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  35. ℋ-theories, fragments of HA and PA -normality.Morteza Moniri - 2002 - Archive for Mathematical Logic 41 (1):101-105.
    For a classical theory T, ℋ(T) denotes the intuitionistic theory of T-normal (i.e. locally T) Kripke structures. S. Buss has asked for a characterization of the theories in the range of ℋ and raised the particular question of whether HA is an ℋ-theory. We show that Ti∈ range(ℋ) iff Ti = ℋ(T). As a corollary, no fragment of HA extending iΠ1 belongs to the range of ℋ. A. Visser has already proved that HA is not in the range of H (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  34
    Nurses’ experiences of violation of their dignity.Mojgan Khamedi, Eesa Mohammadi & Zohreh Vanaki - 2012 - Nursing Ethics 19 (3):328-340.
    Dignity is a human right and a base for human health. This right must be observed in work environments as a moral obligation. This qualitative study aimed to understand nurses’ experiences of violation of their dignity at work and to explore its dimensions. The participants were 15 nurses working in two hospitals in Tehran. The data were collected through 26 unstructured interviews and analyzed using content analysis. The dimensions of violation were ‘irreverence’, including experiences of abuse and violence, humiliation, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  37.  27
    Independence results for weak systems of intuitionistic arithmetic.Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (3):250.
    This paper proves some independence results for weak fragments of Heyting arithmetic by using Kripke models. We present a necessary condition for linear Kripke models of arithmetical theories which are closed under the negative translation and use it to show that the union of the worlds in any linear Kripke model of HA satisfies PA. We construct a two-node PA-normal Kripke structure which does not force iΣ2. We prove i∀1 ⊬ i∃1, i∃1 ⊬ i∀1, iΠ2 ⊬ iΣ2 and iΣ2 ⊬ (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  34
    Nurses’ experiences of violation of their dignity.Khademi Mojgan, Mohammadi Eesa & Vanaki Zohreh - 2012 - Nursing Ethics 19 (3):328-340.
    Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  39. Weak Arithmetics and Kripke Models.Morteza Moniri - 2002 - Mathematical Logic Quarterly 48 (1):157-160.
    In the first section of this paper we show that i Π1 ≡ W⌝⌝lΠ1 and that a Kripke model which decides bounded formulas forces iΠ1 if and only if the union of the worlds in any path in it satisflies IΠ1. In particular, the union of the worlds in any path of a Kripke model of HA models IΠ1. In the second section of the paper, we show that for equivalence of forcing and satisfaction of Πm-formulas in a linear Kripke (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  23
    Caregivers’ perception of dignity in teenagers with autism spectrum disorder.Fatemeh Mohammadi, Mahnaz Rakhshan, Zahra Molazem, Najaf Zareh & Mark Gillespie - 2019 - Nursing Ethics 26 (7-8):2035-2046.
    Introduction: Maintaining dignity is one of patients is one of the main ethical responsibilities of caregivers. However, in many cases, the dignity of patients, especially autistic teenagers is not maintained. The extent to which dignity needs are met for this group within the Iranian care system is difficult to determine as dignity is an abstract concept, and there are few related research studies reported. Objectives: The objective of this study is to find out caregivers perspectives on dignity in teenagers with (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  41.  14
    Critical care nurses’ moral sensitivity during cardiopulmonary resuscitation: Qualitative perspectives.Nader Aghakhani, Hossein Habibzadeh & Farshad Mohammadi - 2022 - Nursing Ethics 29 (4):938-951.
    Background Cardiopulmonary Resuscitation (CPR) is one of the areas in which moral issues are of great significance, especially with respect to the nursing profession, because CPR requires quick decision-making and prompt action and is associated with special complications due to the patients’ unconsciousness. In such circumstances, nurses’ ability in terms of moral sensitivity can be determinative in the success of the procedure. Identifying the components of moral sensitivity in nurses in this context can promote moral awareness and improve moral performance. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    On the application of binary correction factors in lattice distortion calculations for methane clathrate hydrates.Matthew Lasich, Amir H. Mohammadi, Kim Bolton, Jadran Vrabec & Deresh Ramjugernath - 2014 - Philosophical Magazine 94 (9):974-990.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  26
    The Artistic Approach of Mandanipour on Farsi Language Applied in Shargh-e Banafshe Book.Somayeh Sadeghian & Mohsen Mohammadi Fesharaki - 2013 - Asian Culture and History 5 (1):p60.
    The formalist linguists are of the opinion that the literary language is formed by polishing and foregrounding the practiced slang. Many of this literary tricks used in foregrounding are categorized; but there exist some literary tricks that have not been dealt with and are not named or addressed in the available categories. The attempt is made in this study to find an answer to the questions that why has Mandanipour in his masterpiece, “Shargh-e Banafshe” achieved a superior language that is (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  44.  23
    Local contour symmetry facilitates scene categorization.John Wilder, Morteza Rezanejad, Sven Dickinson, Kaleem Siddiqi, Allan Jepson & Dirk B. Walther - 2019 - Cognition 182 (C):307-317.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  18
    Another Neighbourhood Semantics for Intuitionistic Logic.Morteza Moniri & Fatemeh Shirmohammadzadeh Maleki - forthcoming - Logic Journal of the IGPL.
    In this paper we first introduce a new neighbourhood semantics for propositional intuitionistic logic. We then naturally extend this semantics to first-order intuitionistic logic. We also study bisimulation between neighbourhood models and prove some of their basic properties for both propositional and first-order intuitionistic logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  16
    Corrigendum to“Weak Arithmetics and Kripke Models”.Morteza Moniri - 2004 - Mathematical Logic Quarterly 50 (6):637-638.
    We give a corrected proof of the main result in the paper [2] mentioned in the title.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  30
    Corrigendum to "Weak Arithmetics and Kripke Models".Morteza Moniri - 2004 - Mathematical Logic Quarterly 50 (6):637.
    We give a corrected proof of the main result in the paper [2] mentioned in the title.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  31
    Homomorphisms and chains of Kripke models.Morteza Moniri & Mostafa Zaare - 2011 - Archive for Mathematical Logic 50 (3-4):431-443.
    In this paper we define a suitable version of the notion of homomorphism for Kripke models of intuitionistic first-order logic and characterize theories that are preserved under images and also those that are preserved under inverse images of homomorphisms. Moreover, we define a notion of union of chain for Kripke models and define a class of formulas that is preserved in unions of chains. We also define similar classes of formulas and investigate their behavior in Kripke models. An application to (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  52
    Intuitionistic weak arithmetic.Morteza Moniri - 2003 - Archive for Mathematical Logic 42 (8):791-796.
    We construct ω-framed Kripke models of i∀1 and iΠ1 non of whose worlds satisfies ∀x∃y(x=2y∨x=2y+1) and ∀x,y∃zExp(x, y, z) respectively. This will enable us to show that i∀1 does not prove ¬¬∀x∃y(x=2y∨x=2y+1) and iΠ1 does not prove ¬¬∀x, y∃zExp(x, y, z). Therefore, i∀1⊬¬¬lop and iΠ1⊬¬¬iΣ1. We also prove that HA⊬lΣ1 and present some remarks about iΠ2.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50.  28
    On two questions about feasibly constructive arithmetic.Morteza Moniri - 2003 - Mathematical Logic Quarterly 49 (4):425.
    IPV is the intuitionistic theory axiomatized by Cook's equational theory PV plus PIND on NP-formulas. Two extensions of IPV were introduced by Buss and by Cook and Urquhart by adding PIND for formulas of the form A ∨ B, respectively ¬¬A, where A is NP and x is not free in B. Cook and Urquhart posed the question of whether these extensions are proper. We show that in each of the two cases the extension is proper unless the polynomial hierarchy (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 143